中远程战术导弹预测命中点的计算

探讨了如何根据被动段反战术弹道导弹运动状态来计算其弹道根轨道参数和预测命中点的一般方法。     

关于取绝对值的函数可微性的讨论

求绝对值函数的导数是高等数学的一个难点。本文证明了一个公式,能较全面地解决绝对值函数的求导问题。     

高等几何中共点线(共线点)问题的证明

通过一题十种证法试图说明,共点线（共线点）问题的证明在高等几何中的重要作用。     

子自仿射集的Hausdorff维数

设S1,S2 ,… ,SN 是Rn 上的N个仿射压缩映射 ,若Rn 的紧子集E满足E UNi =1 Si(E) ,则称E为子自仿射集 .作者在一定条件下得到了子自仿射集E的Hausdorff维数 .     

一种双参数批更换系统的优化问题

研究了一种在更换时间有限的情况下 ,基于交替更新过程的双参数批更换系统的优化问题 ,这一问题的目标是平均费用率的极小化。给出了一种特殊情况的讨论结果。     

装甲装备技术保障数据仓库的规划与设计

针对全军装甲装备技术保障信息系统的开发,划分了系统的层次结构,提出了建立技术保障数据仓库的概念,并结合现有各个技术保障信息管理子系统模型,具体规划了面向决策分析的技术保障数据仓库的模型,研究了其实现方法.     

投资消费模型中价值函数的基本性质

在有交易费的投资消费模型下,讨论了价值函数的一些基本性质,即给出了价值函数是有限连续和非减凹函数.     

高维非线性电路平衡点稳定性研究

提出了一种新的分析具有分解形式的高维非线性电路平衡点全局渐近稳定的方法.这种方法以矩阵分解为工具,结合平衡点的渐近稳定判据,用分解矩阵的稳定性决定平衡点的全局渐近稳定性.与目前该问题所采用的LIYAPUNOV直接法相比,该方法具有无须判断平衡点的唯一性,判别方法直接明了等优点.电路维数越大时,此方法越有其优势.同时,该方法对于其他形式的非线性系统的分析,也有重要的启发性及应用价值.     

支持向量机规则提取

支持向量机是一种黑箱模型,其学习到的知识蕴含在决策函数中,不仅影响了用户对利用支持向量机技术构建智能系统的信心,还阻碍了支持向量机技术在数据挖掘领域的应用。由于对支持向量机规则提取进行研究有助于解决上述问题,因此该领域正成为机器学习和智能计算界的研究热点。分析了具有代表性的支持向量机规则提取算法,并提出该领域未来的研究重点。     

利用验前信息的一种序贯检验方法——序贯验后加权检验方法

序贯验后加权检验方法是Bayes 统计观点在假设检验中的运用。本文提出了该方法的一般理论,给出了当总体的分布参数具有验前信息时的序贯检验方法。文中确定了决策区的划分,同时讨论了序贯截尾方案,给出了检验中可能犯两类错误的概率的上界,并将一般理论应用于产品的可靠性检验和再入飞行器随机落点的精度鉴定。由于运用了验前信息,因此能有效地在少量试验之下进行统计假设检验。本文所提供的方法对于昂贵产品试验结果的统计评定具有普遍意义。